Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·1d
🔍Z3 Parsing
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
How I hacked the Placement portal of my college to leak the entire SQL database
infosecwriteups.com·16h
🗄️Database Internals
Python 3.14.0rc3 is go!
blogger.com·11h
📚Lempel-Ziv
What I learned building a programming language with LLM agents
eddmann.com·7h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·7h·
Discuss: Hacker News
🌀Brotli Internals
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·8h·
Discuss: r/golang
🦀Rust Macros
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
SWE-Bench Failures: When Coding Agents Spiral into 693 Lines of Hallucinations
surgehq.ai·2h·
Discuss: Hacker News
🔓Reverse engineering
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Show HN: Semlib – Semantic Data Processing
github.com·3d·
Discuss: Hacker News
🌀Brotli Dictionary
Automated Semantic Drift Detection and Mitigation in Real-Time Multimodal Data Streams
dev.to·5h·
Discuss: DEV
🌊Stream Processing
Solving Impossible Problems
aha.io·7h·
Discuss: Hacker News
⚡Proof Automation
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·7h
💻Local LLMs
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·1d·
Discuss: Hacker News
🎯Gradual Typing